|
|
DWF_DC_01 - Partitions cycles check |
|---|---|
| This validation rule ensures that a partition of an element cannot have a partition typed by this element. Thus it avoids"partitions cycles". | |
|
|
DWF_DC_02 - Role Allocation |
|---|---|
| This rule checks the role allocations consistency between roles and entities. | |
|
DWF_DC_03 - Physical Path Involved Links check |
|---|---|
| This rule checks that a PhysicalPath is valid. | |
|
|
DWF_DC_04 - Check multiple deployment |
|---|---|
| This rule depends on the Preference option "Multiple deployment allowed". If this option is set to false, the rule checks that a Behavior Physical Component is not deployed on more than one Node Physical Component. | |
|
|
DWF_DC_05 - Part type accessibility check |
|---|---|
| This rule ensures that a part is typed by an accessible Component. | |
|
|
DWF_DC_06 - Component Parts type level check |
|---|---|
| This rule ensures that each parts of a component have the same level (i.e context, logical, physical,...) that the component itself. | |
|
|
DWF_DC_07 - Contexts Abstract Actor Parts Check |
|---|---|
| This rule checks that a Component Context cannot have a part typed by an abstract type. | |
|
|
DWF_DC_08 - Part typed |
|---|---|
| This rule ensures that a part has always a type. | |
|
|
DWF_DC_09 - Component allocated functions types check |
|---|---|
| This rule checks that a Component allocates only leaf Functions of its own level. | |
|
|
DWF_DC_10 - Actors Part Locations Check |
|---|---|
| This rule checks the parts locations for actors and root components. | |
|
|
DWF_DC_11 - Component Functional Allocation |
|---|---|
| This rule checks the allocation level consistency between functions and components to avoid allocations of system functions in logical architecture. | |
|
|
DWF_DC_12 - Function Allocation Unicity |
|---|---|
| This rule checks that a function is allocated to only one component (including Actor) | |
|
|
DWF_DC_13 - Component Exchange Functional Exchanges Realization |
|---|---|
| This rule checks that the Functional Exchanges allocated to a Component Exchange come from the same level. | |
|
|
DWF_DC_14 - Component Port Allocation |
|---|---|
| This rule checks Ports Allocations consistency. | |
|
|
DWF_DC_15 - Function Allocation Consistency |
|---|---|
| This rule checks that only leaf functions are allocated. | |
|
|
DWF_DC_16 - Component Exchange encapsulation problem check |
|---|---|
| This rule raises a warning if a Component Exchange is linked between two internal components. These components can be directly connected, only if the ports are delegated throughout the owning components which are connected by another Component Exchange. | |
|
|
DWF_DC_17 - Physical Component deployment check |
|---|---|
| This rule ensures that a node physical component is not deployed on a behavior physical component. | |
|
|
DWF_DC_18 - Component Exchange location check |
|---|---|
| This rule ensures that Component Exchange is located in the common ancestor between its source/target elements. | |
|
|
DWF_DC_19 - Physical Link location check |
|---|---|
| This rule ensures that Physical Link is located in the common ancestor between its source/target elements. | |
|
|
DWF_DC_20 - Physical Component Function Allocation check |
|---|---|
| This rule ensures that Physical Component of nature NODE does not allocate any Function. | |
|
|
DWF_DC_21 - Containement check for node and behaviour |
|---|---|
| This rule ensures that NodePC is not contained in BehaviourPC and BehaviourPC is not contained in NodePC. NodePC=Physical Component of nature NODE BehaviourPC=Physical Component of nature BEHAVIOUR. | |
|
|
DWF_DC_22 - NodeDeployment In BehaviourPC |
|---|---|
| This rule ensures that NodePC is not deployed in BehaviourPC. NodePC=Physical Component of nature NODE BehaviourPC=Physical Component of nature BEHAVIOUR. | |
|
|
DWF_DC_23 - NodeDeployment In PhysicalActor |
|---|---|
| This rule ensures that NodePC is not deployed in PhysicalActor. NodePC=Physical Component of nature NODE . | |
|
|
DWF_DC_24 - Physical Path involvement check involved element |
|---|---|
| This rule checks that a Physical Path Involvement only involves an Part, a Physical Link or a Physical Path. | |
|
|
DWF_DC_25 - Physical Path involvement check involver element |
|---|---|
| This rule checks that a Physical Path Involvement involver is its owning Physical Path. | |
|
|
DWF_DC_26 - Root Physical Component Ports Check |
|---|---|
| This rule ensures that the Root Physical Component has no physical ports. | |
|
|
DWF_DC_27 - Functional Exchange Component Exchange Allocation Unicity |
|---|---|
| This rule checks that a functional exchange is allocated to only one component exchange. | |
|
|
DWF_DC_28 - Delegation out of place check |
|---|---|
| This rule check that Component Exchange of kind Delegation if not out of place and useless. It also make sure if Delegation source and target are not null. | |
|
|
DWF_DC_29 - Component Exchange Functional Exchange consistency |
|---|---|
| This rule ensures that Component Exchange allocates valid functional exchanges (regarding ports directions). | |
|
|
DWF_DC_30 - PhysicalPort on BehaviourPC |
|---|---|
| This rule ensures that PhysicalPort is not contained in BehaviourPC. BehaviourPC=Physical Component of nature BEHAVIOUR. | |
|
|
DWF_DC_31 - ComponentPort on NodePC |
|---|---|
| This rule ensures that ComponentPort is not contained in NodePC. NodePC=Physical Component of nature NODE. | |
|
|
DWF_DC_32 - Component Exchange with out port on NodePC |
|---|---|
| This rule ensures that ComponentExchange with out port sourceEnd or target end is not NodePC. NodePC=Physical Component of nature NODE. | |
|
|
DWF_DC_33 - PhysicalPath allocated CE |
|---|---|
| This rule checks that a PhysicalPath should allocated component exchage between its path. | |